Search results for " Petri"
showing 10 items of 11 documents
Comment on the letter of the Society of Vertebrate Paleontology (SVP) dated April 21, 2020 regarding “Fossils from conflict zones and reproducibility…
2020
International audience
Programm der deutschen Hauptschule St. Petri: womit zum feierlichen Schlussact am 9 Juni ehrerbietigst einladet der Director Mag. Hermann Graff
1870
Gotiskajā šriftā
Advanced Stochastic Petri Net Modeling with the Mercury Scripting Language
2017
Formal models are widely used in performance and dependability studies of computational systems. Graphical modeling tools allow users to compose such models with ease, but they complicate the creation of models with a dynamic/complex structure, the hierarchical arrangement of different models, and the automatic execution of models with different parameter configurations. To overcome this problem, we created a scripting language for the Mercury tool that supports the combination of different modeling approaches (e.g., Stochastic Petri Nets and Reliability Block Diagrams) in a single project. In this paper, we focus on the extensions developed to improve the capabilities of Generalized Stocha…
A task scheduling algorithm for HPC applications using colored stochastic Petri Net models
2017
The increase in demand for High Performance Computing (HPC) scientific applications motivates the efforts to reduce costs of running these applications. The problem to solve is that of dynamical multi-criterial optimal scheduling of an application on a HPC platform with a high number of heterogeneous nodes. The solution proposed by the authors is a HPC hardware-software architecture that includes the infrastructure for two level (node and inter-node level) adaptive load balancing. The article presents the development of an Coloured Petri Net(CPN) for such an architecture. The model was used for the development of a dynamic distributed algorithm for the scheduling problem. The CPN allowed a …
Petri Net Modelling of the Starch Enzymatic Liquefaction
2012
This paper investigates the use of the Petri Net modelling language for the description and analysis of the enzymatic reactions that are used for the starch liquefaction. The Coloured Petri Net formalism supported by the CPN Tools modelling and simulation environment is used. The pools of substrates and products are represented as the places and the possible reactions as the transition of the net. The concurrent reactions are modelled trough transitions that are enabled at the same time. The occurrence probabilities associated with each of these concurrent transitions are chosen as the model parameters. The analysis of the specific properties of the model is used to fit the model to data fr…
Moninkertainen mies : maskuliinisuudet ja kerronta Petri Tammisen teoksissa Elämiä, Miehen ikävä, Väärä asenne ja Piiloutujan maa
2005
Estetiche della verità. Pasolini, Foucault, Petri
2020
Se dovessimo individuare una parola chiave per descrivere il presente, verità sarebbe una candidata molto quotata. Assistiamo oggi a un’indiscutibile fascinazione per la verità: escono ogni giorno accorati appelli per ritrovare una verità delle parole, nonché una continua rincorsa a esibire una verità dei gesti e dei sentimenti, dei comportamenti e dei pensieri. Ma come mai in un’epoca definita “post-veritiera” l’influenza del termine verità è ancora così forte? Questo libro analizza alcune immagini che hanno a che fare con la verità, quelle che si sono conformate alla sua presunta immediatezza – a partire dai reality show e dai social network, i grandi dispositivi confessionali di oggi – e…
Fungal pathogens associated with grapevine trunk diseases in young vineyards in Sicily
2020
After the first report of grapevine decline caused by Botryosphaeriaceae in Sicily in 2007, epidemiological studies carried out in mature vineyards until 2011 confirmed the widespread occurrence of “Botryosphaeria dieback” and the “Esca complex” disease. Dieback symptoms were also recently observed in two young vineyards in Partanna and Castellammare del Golfo in western Sicily (Trapani province). Declining vines were inspected for grapevine trunk disease (GTD) symptoms, and were uprooted and submitted for analyses. Fungal isolates were collected and identified using culturing and molecular analyses. One isolate per identified species was inoculated to three grapevine shoots to evaluate pat…
Call admission control scheme using borrowable guard channels and prioritizing fresh calls retrials in small cell networks
2014
International audience; Recent trends in mobile cellular networks turn towards deployment of Small Cell Networks (SCNs), where, the cell size gets smaller, and thus the number of subscribers served in a cell will be relatively smaller, such that traffic models with a finite source of subscribers should be considered. Smaller cells cause the mobile subscribers to cross several cells during an ongoing conversation resulting in frequent handovers. Most of works dealing with Call Admission Control (CAC) problems based on guard channels scheme in cellular mobile networks consider models without retrials (reapeted calls phenomenon). However, almost all existing works which take into account retri…